$\forall$${\it es}$:ES, $l$:IdLnk, ${\it tg}$:Id, $P$:(\{$e$:E$\mid$ isrcv($e$) \}$\rightarrow$Prop). ($\exists$$e$=rcv($l$,${\it tg}$). $P$($e$)) $\in$ Prop